<select name="doc_tip_id" <?php echo $estilo;?>>
    <?php
    $sql_doctipo = "SELECT * FROM doctipo";
    $res_doctipo = sql($sql_doctipo);
    while($linha_doctipo = mysql_fetch_array($res_doctipo)){
        ?><option value="<?php echo $linha_doctipo['doc_tip_id'];?>"><?php echo $linha_doctipo['doc_tip_nome'];?></option><?php
    }
    ?>
</select>